$\forall$$f$:($\mathbb{N}\rightarrow\mathbb{B}$). ($\exists$$n$:$\mathbb{N}$. $f$($n$)) $\Rightarrow$ \{$f$(mu($f$)) \& ($\forall$$i$:$\mathbb{N}$. $i$$<$mu($f$) $\Rightarrow$ $\neg$$f$($i$))\}